Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Continue reading
Information Security Applications (vol. # 3786)
Constitutes the refereed proceedings of the 6th International Workshop on Information Security Applications, held in 2005. ...
Continue reading
Machine Learning Techniques and Analytics for Cloud Security / Rajdeep Chakraborty, Anupam Ghosh, Jyotsna Kumar Mandal
covers new methods, surveys, case studies, and policy with almost all machine learning techniques and analytics for cloud ...
Continue reading
Principles of Security and Trust
This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
Continue reading
Quality of Software Architectures
Although the quality of a system’s software architecture is one of the critical factors in its overall quality, the architecture ...
Continue reading
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Continue reading
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Continue reading
